package se.sics.kompics.tutorial.tutorial4.PUC;

import se.sics.kompics.PortType;
import se.sics.kompics.tutorial.tutorial4.PUC.event.UcDecide;
import se.sics.kompics.tutorial.tutorial4.PUC.event.UcPropose;

public class UniformConsensus extends PortType {
	{
		indication(UcDecide.class);
		request(UcPropose.class);
	}
}
